Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
381	Science of Computer Programming[removed] – 42 www.elsevier.com/locate/scico The semantics and execution of a synchronous block-diagram language Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2003-06-09 11:11:48 Function Monotonic function FO Flip-flop Continuous function Combinatory logic Lambda calculus Mathematics Mathematical analysis Theoretical computer science
382	An Example of a Special Purpose Input Language to W X Henry Baragar Instantiated Software Inc., 20 Woodmount Crescent, Nepean, Ontario, K2E 5R1 Canada. [removed] Gail E. Harris Add to Reading List Source URL: tug.org Language: English - Date: 2011-10-16 21:02:49 Desktop publishing software Digital typography Donald Knuth TeX Typesetting Printf format string Combinatory logic International Obfuscated C Code Contest Computing Software Typography
383	Propositions as Types ∗ Philip Wadler University of Edinburgh [removed] 1. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-08-20 07:43:28 Logic in computer science Lambda calculus Proof theory Dependently typed programming Type theory Combinatory logic Natural deduction Curry–Howard correspondence Calculus of constructions Mathematical logic Logic Mathematics
384	Sample Paper for the amsmath and lucidabr Packages File name: lucida-amsmath.tex TEX Users Group & American Mathematical Society Version 2.1, 28 November 2005 Add to Reading List Source URL: tug.org Language: English - Date: 2005-11-28 11:44:17 Logic in computer science Algebra Operator theory Mathematical analysis Ordinary differential equations Spectral theory Theorems and definitions in linear algebra Sturm–Liouville theory Mathematics Combinatory logic Lambda calculus
385	The Complexity of Diffuse Reflections in a Simple Polygon Boris Aronov1,? , Alan R. Davis1,?? , John Iacono1,? ? ? , and Albert Siu Cheong Yu1,† Department of Computer and Information Science Polytecnic University Add to Reading List Source URL: john2.poly.edu Language: English - Date: 2007-12-27 15:24:31 Polygon Mathematics Lemmas Combinatory logic Lambda calculus Logic in computer science
386	6.851: Advanced Data Structures Spring 2012 Lecture 13 — April 5, 2012 Prof. Erik Demaine Add to Reading List Source URL: courses.csail.mit.edu Language: English - Date: 2012-05-29 13:10:42 Communication Computational complexity theory Analysis of algorithms Asymptotic analysis Big O notation Mathematical notation Information theory Communication complexity Combinatory logic Theoretical computer science Applied mathematics Mathematics
387	MASSACHVSETTS INSTITVTE OF TECHNOLOGY[removed]S081 Adventures in Advanced Symbolic Programming Final Project Assignment—Spring 2014 The term is coming to a close! As advertised in the Red Tape Memo your projects are co Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2014-05-02 15:20:19 Lambda calculus Nahom Combinatory logic
388	PDF Document Add to Reading List Source URL: www.semantichealth.org Language: English - Date: 2008-06-03 09:10:27 X Window System Computing Combinatory logic Software Medical classification SNOMED CT
389	Environment model Why does this code work? • Models of computation • Substitution model Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2007-04-05 22:20:30 Logic Mathematical notation Predicate logic Mathematics Computing Combinatory logic Lambda calculus Computer programming Free variables and bound variables
390	Theory Comput. Systems 35, 483–[removed]DOI: [removed]s00224[removed]Theory of Computing Systems Add to Reading List Source URL: www.psrg.csail.mit.edu Language: English - Date: 2007-02-01 15:29:54 Turing machine Computer science Computability theory Formal methods Universal Turing machine Qi Combinatory logic Finite-state machine Algorithm Theoretical computer science Theory of computation Models of computation

UPDATE